Parametric Properties of Ideal Semantics

A new parametric method for ranking fuzzy numbers based on positive and negative ideal solutions

Computations in Residue Class Rings of (Parametric) Polynomial Ideals

The paper proposes a new construction for studying various properties of a polynomial with respect to an ideal generated by a finite basis of polynomials. These properties include, among others, (i) checking whether the polynomial is a zero divisor in the residue class ring defined by the associated ideal and (ii) checking whether the polynomial is invertible in the residue class ring defined b...

Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics

Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time how to apply BMC to parametric verification of time Petri nets with discrete-time semantics. The properties are expressed by formulas of the logic PRTECTL a parametric extension of the existential fragment of Computatio...

Functorial semantics of topological theories

Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...

Artificial discontinuities of single-parametric Gröbner bases

Artificial discontinuity is a kind of singularity at a parametric point in computing the Gröbner basis of a specialized parametric ideal w.r.t. a certain term order. When it occurs, though parameters change continuously at the point and the properties of the parametric ideal have no sudden changes, the Gröbner basis will still have a jump at the parametric point. This phenomenon can cause insta...